| emsoft | participants

Tsubasa Matsumoto

EMSOFT 2025: 25th International Conference on Embedded Software

Efficient Black-Box Checking with Specification-Guided Abstraction

Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, and Masaki Waga